Generating Procedures and Recovery Sequences: A Formal Approach
نویسندگان
چکیده
This paper presents a formal approach for the analysis and development of effective, safe, and efficient procedures for abnormal and emergency situations. The focus is on methods for describing the behavior of the underlying machine, specification of desirable and unsafe regions of operation, and an algorithmic approach for computation of optimal action sequences. We discuss current gaps in procedure development and conclude with some of the challenges that lie ahead.
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملGENERATING FUZZY RULES FOR PROTEIN CLASSIFICATION
This paper considers the generation of some interpretable fuzzy rules for assigning an amino acid sequence into the appropriate protein superfamily. Since the main objective of this classifier is the interpretability of rules, we have used the distribution of amino acids in the sequences of proteins as features. These features are the occurrence probabilities of six exchange groups in the seque...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملModelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN
ETCS Level 2 (European Train Control System Level 2, ETCS-2) has drawn particularly attention from researchers and industries. A new CPN model-based formal approach for test cases and sequences generation is proposed in this paper to increase the test automation degree of the ETCS-2 system and subsystems. In this paper, a set of modelling rules is presented firstly to make the Coloured Petri Ne...
متن کاملParallel Generation of t-ary Trees
A parallel algorithm for generating t-ary tree sequences in reverse B-order is presented. The algorithm generates t-ary trees by 0-1 sequences, and each 0-1 sequences is generated in constant average time O(1). The algorithm is executed on a CREW SM SIMD model, and is adaptive and cost-optimal. Prior to the discussion of the parallel algorithm a new sequential generation with O(1) average time ...
متن کامل